journal of symbolic logic meaning in Chinese
符号逻辑学报
Examples
- Toshio umezawa . on logics intermediate between intuitionistic and classical predicate logic . journal of symbolic logic , 24 ( 2 ) : 141 ? 153 , june 1959
中间逻辑是一个与逻辑学相关的小作品。你可以通过编辑或修订扩充其内容。